Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
161	˝ DOMINATING THE ERDOS-MOSER THEOREM IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. The Erd˝ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-05-13 11:24:44 Mathematical analysis Mathematics Measure theory Computability theory Computable function Theory of computation Probability theory Differential forms Relationships among probability distributions Sigma-algebra
162	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
163	Fachbereich Mathematik Proof mining and combinatorics Program extraction for Ramsey’s theorem for pairs Vom Fachbereich Mathematik Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2012-05-15 05:15:29 Mathematics Topology Mathematical analysis Computability theory General topology Proof theory Mathematical logic Reverse mathematics BolzanoWeierstrass theorem HeineBorel theorem Intermediate value theorem Primitive recursive function
164	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Computability theory Mathematical logic Proof theory Reverse mathematics Model theory Axiom of choice
165	Some computational aspects of metric fixed point theory Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:20:54 Mathematical analysis Operator theory Mathematics Computability theory Contraction Primitive recursive function Differential forms on a Riemann surface Distribution
166	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:12:20 Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability
167	Modernizing Plan-Composition Studies Kathi Fisler Shriram Krishnamurthi Janet Siegmund Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2016-01-25 09:58:50 Software engineering Computer programming Computing Programming paradigms Recursion Theoretical computer science Computability theory Functional programming Tree traversal Go Problem solving Procedural programming
168	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
169	Proceedings of the Society of PoC k GTFO Issue 0x01, an Epistle to the 10th H2HC in São Paulo From the writing desk, not the raven, of Rt. Revd. Preacherman Pastor Manul Laphroaig pastor@phrack org October 6, 2013 Legal Add to Reading List Source URL: greatscottgadgets.com Language: English - Date: 2016-03-08 15:48:05 Turing machine Computing Theoretical computer science Models of computation Theory of computation Computability theory Alan Turing Typewriter Computer Word processor
170	Higher-Order Game Theory Paulo Oliva Queen Mary University of London School of Electronic Engineering and Computer Science London, E1 4NS United Kingdom of Great Britain and Northern Ireland Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 11:59:47 Computability theory Recursion Operations research Bar recursion FP Oliva Mathematical optimization

UPDATE